- доказывается, что
- Доказывается, что-- It is argued that these striations line up in the direction of the relative velocity of the barrel to the solid bed.
Русско-английский научно-технический словарь переводчика. 2013.
Русско-английский научно-технический словарь переводчика. 2013.
ЧТО ТАКОЕ ФИЛОСОФИЯ? — ’ЧТО ТАКОЕ ФИЛОСОФИЯ?’ (‘Qu est ce que la philosophie?’, Les Editions de Minuit, 1991) книга Делеза и Гваттари. По мысли авторов, обозначенной во Введении, ‘что такое философия’ это такой вопрос, который ‘задают, скрывая беспокойство, ближе к… … История Философии: Энциклопедия
ЧТО ТАКОЕ ФИЛОСОФИЯ? — ( Qu est ce que la philosophie? , Les Editions de Minuit, 1991) книга Делеза и Гваттари. По мысли авторов, обозначенной во Введении, что такое философия это такой вопрос, который задают, скрывая беспокойство, ближе к полуночи, когда больше… … История Философии: Энциклопедия
ZFC — Современная теория множеств строится на системе аксиом утверждений, принимаемых без доказательства, из которых выводятся все теоремы и утверждения теории множеств. Система аксиом Цермело Френкеля (ZF) является стандартной системой аксиом для… … Википедия
Аксиоматика теории множеств — Сюда перенаправляется запрос «Теория Цермело Френкеля». На эту тему нужна отдельная статья. Современная теория множеств строится на системе аксиом утверждений, принимаемых без доказательства, из которых выводятся все теоремы и у … Википедия
ЕВАНГЕЛИЕ. ЧАСТЬ II — Язык Евангелий Проблема новозаветного греческого Дошедшие до нас оригинальные тексты НЗ написаны на древнегреч. языке (см. ст. Греческий язык); существующие версии на др. языках это переводы с греческого (или с др. переводов; о переводах… … Православная энциклопедия
Инвариантность — Инвариант термин, используемый в математике и физике, а также в программировании, обозначает нечто неизменяемое. Кроме того, инварианты используются в олимпиадных задачах по математике для школьников. Абстрактная структурная единица языка фонема … Википедия
Инварианты — Инвариант термин, используемый в математике и физике, а также в программировании, обозначает нечто неизменяемое. Кроме того, инварианты используются в олимпиадных задачах по математике для школьников. Абстрактная структурная единица языка фонема … Википедия
Инвариант (программирование) — У этого термина существуют и другие значения, см. Инвариант. Инвариантом в программировании называется логическое выражение, истинное после каждого прохода тела цикла (после выполнения фиксированного оператора) и перед началом выполнения цикла,… … Википедия
Лобачевский, Николай Иванович — родился 22 октября 1793 г. в Нижегородской губернии (по одному источнику в Нижнем Новгороде, по другому в Макарьевском уезде). Отец его Иван Максимович, выходец из Западного края, по вероисповеданию католик, потом перешедший в православную веру,… … Большая биографическая энциклопедия
Дифференциальное исчисление — Исчисление бесконечно малых, включающее так называемое Д. исчисление, а также ему обратное интегральное, принадлежит к числу наиболее плодотворных открытий человеческого ума и составило эпоху в истории точных наук. Ближайшим поводом к изобретению … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
ЖИЗНЬ — особое качественное состояние мира, возможно, необходимая ступень в развитии Вселенной. Естественно научный подход к сущности Ж. сосредоточен на проблеме ее происхождения, ее материальных носителей, на отличии живого от неживого, на эволюции… … Философская энциклопедия